System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
461	Specification of Zinc and MiniZinc Zinc version (rotdMiniZinc version 1.2 Nicholas Nethercote Kim Marriott Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2010-11-11 04:11:19 Programming language theory Type theory C++ Program analysis Type system ALGOL 68 Primitive data type Enumerated type Boolean data type Computing Data types Software engineering
462	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.5) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-03-16 00:27:10 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
463	Modular Type Classes Derek Dreyer Robert Harper Toyota Technological Institute at Chicago Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2008-08-07 13:41:05 Software engineering Programming language theory Deduction Functional programming Type class Entailment Standard ML Type system Sheaf Logic Type theory Data types
464	, , 1{48 () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Optimal Representations of Polymorphic Types with Subtyping* ALEXANDER AIKEN Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-08-19 20:08:26 Programming language theory Subtype polymorphism Type inference Type system Hindley–Milner Variable System F Function Parametric polymorphism Type theory Software engineering Mathematics
465	The Trellys Project  Tim Sheard  Aaron Stump  Stephanie Weirich  Trellys  Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-06-03 10:59:23 Data types Program analysis Type system Software engineering Logic in computer science Dependently typed programming Type theory Programming language theory Theoretical computer science
466	The nesC Language: A Holistic Approach to Networked Embedded Systems http://nescc.sourceforge.net David Gay‡ Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2006-05-18 13:36:08 Technology Object-oriented programming TinyOS NesC Component-based software engineering Embedded system Kernel Communications protocol Concurrency control Computing Software engineering Wireless sensor network
467	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Functional languages Lambda calculus Data types Lisp programming language Racket System F Type system Typed lambda calculus Software engineering Programming language theory Computing
468	Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services Julien Mercadal Nicolas Palix Charles Consel INRIA / LaBRI, Talence, France Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:26:02 Component-based software engineering Inter-process communication Object-oriented programming CORBA Common Object Request Broker Architecture Bluetooth Service-oriented architecture Operating system Event Computing Software engineering Technology
469	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.6) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-09-19 09:34:02 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
470	Implementing R7RS on an R6RS Scheme system Takashi Kato Bell ID B.V. Abstract Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-11-11 12:30:16 Lisp programming language Scheme programming language Functional languages Transformation languages Scheme Hygienic macro Symbol S-expression Lisp Computing Software engineering Computer programming

UPDATE